变项谓词, n变元谓词的英文

• predicate of n variable n

• "变项"英文翻译    variable
• "谓词"英文翻译    predicate
• "n"英文翻译    N ＝nuclear 核的：N-waste 核废料。
• "变元"英文翻译    variable
• "n变元谓词" 英文翻译 :    predicate of
• "变项谓词" 英文翻译 :    predicate of
• "γ元谓词" 英文翻译 :    ray predicate
• "二元谓词" 英文翻译 :    binary relation
• "谓词变项" 英文翻译 :    predicate variable
• "一元谓词逻辑" 英文翻译 :    monadic predicate calculus
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "真谓词" 英文翻译 :    truth-predicate
• "变化谓词" 英文翻译 :    change predicate
• "程序谓词" 英文翻译 :    program predicate
• "初始谓词" 英文翻译 :    initial predicate
• "递归谓词" 英文翻译 :    recursive predicate
• "刁番图谓词" 英文翻译 :    diophantine predicate
• "泛函谓词" 英文翻译 :    functional predicate